$\forall$$g$:IMonoid, $a$, $b$:$\mathbb{Z}$.
\\[0ex]($a$ $\leq$ $b$)
\\[0ex]$\Rightarrow$ ($\forall$$E$:(\{$a$..$b$$^{-}$\}$\rightarrow\mid$$g$$\mid$), $k$:$\mathbb{Z}$. $\Pi$($\ast$,e) $a$ $\leq$ $j$ $<$ $b$. $E$($j$) = $\Pi$($\ast$,e) $a$+$k$ $\leq$ $j$ $<$ $b$+$k$. $E$($j$ {-} $k$) $\in$ $\mid$$g$$\mid$)